【图论笔记】权转移法(0):一个简单的例子


目录


1. 简介

权转移法,英文名为Discharging Method,直译即“电荷释放法”.在图论中,它已经有了超过一百的历史了.其最著名的应用是证明了四色定理,也就是证明了嵌入在平面上的图的色数至多为44(其实这个说法稍微有些不严谨).然而,即使对于大多数图论工作者,这种方法仍然十分神秘.

我们这篇学习指导的目的在于让学习者了解权转移法的使用方法,从而让更多的人能理解和使用这种方法.

为了解释权转移法,我们将会以一个简单的题目为例.在此之前,我们先来明确一些术语.


2. 一个例题

例题1 如果平面三角剖分图GG的最小度为55,那么GG包含一条(5,5)(5,5)-边或一条(5,6)(5,6)-边.

证明. 首先,我们假设结论是不成立的,而GG是一个反例.这是权转移法的第一步:假设存在反例

接下来,我们对GG的每个顶点vv赋予一个数,记作ch0(v)ch_0(v),一般称之为vv初始电荷量;具体说来,我们这里令ch0(v)=d(v)6ch_0(v)=d(v)-6vV(G)v\in V(G)(我们一般说:给vv赋予d(v)6d(v)-6个单位的初始电荷量).

然后,再给每个面ff赋予2d(f)62d(f)-6个单位的初始电荷,即ch0(f)=2d(f)6ch_0(f)=2d(f)-6.由于GG是三角剖分图,所以实际上每个面的初始电荷量为零.

现在我们考虑图GG上的总的初始电荷量,xV(G)F(G)ch0(x)=2e(G)6v(G)+4e(G)6f(G)=12<0.\sum_{x\in V(G)\cup F(G)}ch_0(x)=2e(G)-6v(G)+4e(G)-6f(G)=-12<0.这就是权转移法的第二步:赋予初始电荷量

然后是权转移法的第三步:转移电荷(即假定电荷是可以按我们的意志移动的).

为此我们需要制定一个放电规则(discharging rules).我们的放电规则只有一条,那就是:每个55-顶点从它的邻点拿走1/51/5单位的电量

我们记放电之后每个顶点和面的电荷量为ch1()ch_1(\cdot).显然,对每个面ffch1(f)=ch0(f)=0ch_1(f)=ch_0(f)=0.考虑顶点vv.因为GG是一个反例,所以每个55-顶点没有66^--邻点,每一个66-顶点也没有55-邻点。因此如果d(v)=5,6d(v)=5,6,那么ch1(v)=0ch_1(v)=0.如果d(v)7d(v)\ge7,由于GG是三角剖分图且没有(5,5)(5,5)-边,所以vv55-邻点个数不超过12d(v)\frac{1}{2}d(v),所以ch1(v)d(v)61512d(v)=3/10>0.ch_1(v)\ge d(v)-6-\frac{1}{5}\cdot\frac{1}{2}d(v)=3/10>0.

可见,经过放电后,每个顶点和面的电荷量都是非负。但是请注意,我们的放电并不改变总电荷量,所以最终的总电荷量与初始的总电荷量应该是相等的,也就是负的。这是个矛盾.

其实上述结论可以加强.

上述例题可以加强到平面半三角剖分图.

上述证明还可以简化一下.因为平面图GG上必有e(G)3v(G)6e(G)\le 3v(G)-6.其等号成立当且仅当GG是平面半三角剖分图.
所以初始电荷量以及电荷量的计算可以简化.请大家自行尝试.